On the Axiomatisability of Parallel Composition

This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide finite, ground-complete axiomatisations for various simulation and (decorated) trace semantics. We also show that no congruence over BCCSP that includes bisimilarity and is included in possible futures equivalence has a finite, ground-complete axiomatisation; this negative result applies to all the nested trace and nested simulation semantics

Toward scalable biocatalytic conversion of 5-hydroxymethylfurfural by galactose oxidase using coordinated reaction and enzyme engineering

5-Hydroxymethylfurfural (HMF) can be transformed to a range of industrially useful derivatives, such as 2,5-diformylfuran (DFF), but the reactions needed for efficient industrial production are hindered by several issues. Here, the authors perform reaction and enzyme engineering resulting in a galactose oxidase variant with high activity towards HMF, improved oxygen binding and high productivity

Dynamic Rearrangement of Cell States Detected by Systematic Screening of Sequential Anticancer Treatments

Signaling networks are nonlinear and complex, involving a large ensemble of dynamic interaction states that fluctuate in space and time. However, therapeutic strategies, such as combination chemotherapy, rarely consider the timing of drug perturbations. If we are to advance drug discovery for complex diseases, it will be essential to develop methods capable of identifying dynamic cellular responses to clinically relevant perturbations. Here, we present a Bayesian dose-response framework and the screening of an oncological drug matrix, comprising 10,000 drug combinations in melanoma and pancreatic cancer cell lines, from which we predict sequentially effective drug combinations. Approximately 23% of the tested combinations showed high-confidence sequential effects (either synergistic or antagonistic), demonstrating that cellular perturbations of many drug combinations have temporal aspects, which are currently both underutilized and poorly understood

Toward scalable biocatalytic conversion of 5-hydroxymethylfurfural by galactose oxidase using coordinated reaction and enzyme engineering

From Springer Nature via Jisc Publications RouterHistory: received 2020-12-09, accepted 2021-07-06, registration 2021-07-21, pub-electronic 2021-08-16, online 2021-08-16, collection 2021-12Publication status: PublishedFunder: EC | EC Seventh Framework Programm | FP7 Food, Agriculture and Fisheries, Biotechnology (FP7-KBBE - Specific Programme "Cooperation": Food, Agriculture and Fisheries, Biotechnology); doi: https://doi.org/10.13039/100011262; Grant(s): 613849Abstract: 5-Hydroxymethylfurfural (HMF) has emerged as a crucial bio-based chemical building block in the drive towards developing materials from renewable resources, due to its direct preparation from sugars and its readily diversifiable scaffold. A key obstacle in transitioning to bio-based plastic production lies in meeting the necessary industrial production efficiency, particularly in the cost-effective conversion of HMF to valuable intermediates. Toward addressing the challenge of developing scalable technology for oxidizing crude HMF to more valuable chemicals, here we report coordinated reaction and enzyme engineering to provide a galactose oxidase (GOase) variant with remarkably high activity toward HMF, improved O2 binding and excellent productivity (>1,000,000 TTN). The biocatalyst and reaction conditions presented here for GOase catalysed selective oxidation of HMF to 2,5-diformylfuran offers a productive blueprint for further development, giving hope for the creation of a biocatalytic route to scalable production of furan-based chemical building blocks from sustainable feedstocks

Catalog of Galactic Beta Cephei Stars

We present an extensive and up-to-date catalog of Galactic Beta Cephei stars. This catalog is intended to give a comprehensive overview of observational characteristics of all known Beta Cephei stars. 93 stars could be confirmed to be Beta Cephei stars. For some stars we re-analyzed published data or conducted our own analyses. 61 stars were rejected from the final Beta Cephei list, and 77 stars are suspected to be Beta Cephei stars. A list of critically selected pulsation frequencies for confirmed Beta Cephei stars is also presented. We analyze the Beta Cephei stars as a group, such as the distributions of their spectral types, projected rotational velocities, radial velocities, pulsation periods, and Galactic coordinates. We confirm that the majority of these stars are multiperiodic pulsators. We show that, besides two exceptions, the Beta Cephei stars with high pulsation amplitudes are slow rotators. We construct a theoretical HR diagram that suggests that almost all 93 Beta Cephei stars are MS objects. We discuss the observational boundaries of Beta Cephei pulsation and their physical parameters. We corroborate that the excited pulsation modes are near to the radial fundamental mode in frequency and we show that the mass distribution of the stars peaks at 12 solar masses. We point out that the theoretical instability strip of the Beta Cephei stars is filled neither at the cool nor at the hot end and attempt to explain this observation

A genetically modified minipig model for Alzheimer's disease with SORL1 haploinsufficiency

The established causal genes in Alzheimer’s disease (AD), APP, PSEN1, and PSEN2, are functionally characterized using biomarkers, capturing an in vivo profile reflecting the disease’s initial preclinical phase. Mutations in SORL1, encoding the endosome recycling receptor SORLA, are found in 2%–3% of individuals with early-onset AD, and SORL1 haploinsufficiency appears to be causal for AD. To test whether SORL1 can function as an AD causal gene, we use CRISPR-Cas9-based gene editing to develop a model of SORL1 haploinsufficiency in Göttingen minipigs, taking advantage of porcine models for biomarker investigations. SORL1 haploinsufficiency in young adult minipigs is found to phenocopy the preclinical in vivo profile of AD observed with APP, PSEN1, and PSEN2, resulting in elevated levels of β-amyloid (Aβ) and tau preceding amyloid plaque formation and neurodegeneration, as observed in humans. Our study provides functional support for the theory that SORL1 haploinsufficiency leads to endosome cytopathology with biofluid hallmarks of autosomal dominant AD

Using Polarized Spectroscopy to Investigate Order in Thin-Films of Ionic Self-Assembled Materials Based on Azo-Dyes

Three series of ionic self-assembled materials based on anionic azo-dyes and cationic benzalkonium surfactants were synthesized and thin films were prepared by spin-casting. These thin films appear isotropic when investigated with polarized optical microscopy, although they are highly anisotropic. Here, three series of homologous materials were studied to rationalize this observation. Investigating thin films of ordered molecular materials relies to a large extent on advanced experimental methods and large research infrastructure. A statement that in particular is true for thin films with nanoscopic order, where X-ray reflectometry, X-ray and neutron scattering, electron microscopy and atom force microscopy (AFM) has to be used to elucidate film morphology and the underlying molecular structure. Here, the thin films were investigated using AFM, optical microscopy and polarized absorption spectroscopy. It was shown that by using numerical method for treating the polarized absorption spectroscopy data, the molecular structure can be elucidated. Further, it was shown that polarized optical spectroscopy is a general tool that allows determination of the molecular order in thin films. Finally, it was found that full control of thermal history and rigorous control of the ionic self-assembly conditions are required to reproducibly make these materials of high nanoscopic order. Similarly, the conditions for spin-casting are shown to be determining for the overall thin film morphology, while molecular order is maintained

The extrafollicular response is sufficient to drive initiation of autoimmunity and early disease hallmarks of lupus

IntroductionMany autoimmune diseases are characterized by germinal center (GC)-derived, affinity-matured, class-switched autoantibodies, and strategies to block GC formation and progression are currently being explored clinically. However, extrafollicular responses can also play a role. The aim of this study was to investigate the contribution of the extrafollicular pathway to autoimmune disease development.MethodsWe blocked the GC pathway by knocking out the transcription factor Bcl-6 in GC B cells, leaving the extrafollicular pathway intact. We tested the impact of this intervention in two murine models of systemic lupus erythematosus (SLE): a pharmacological model based on chronic epicutaneous application of the Toll-like receptor (TLR)-7 agonist Resiquimod (R848), and 564Igi autoreactive B cell receptor knock-in mice. The B cell intrinsic effects were further investigated in vitro and in autoreactive mixed bone marrow chimeras.ResultsGC block failed to curb autoimmune progression in the R848 model based on anti-dsDNA and plasma cell output, superoligomeric DNA complexes, and immune complex deposition in glomeruli. The 564Igi model confirmed this based on anti-dsDNA and plasma cell output. In vitro, loss of Bcl-6 prevented GC B cell expansion and accelerated plasma cell differentiation. In a competitive scenario in vivo, B cells harboring the genetic GC block contributed disproportionately to the plasma cell output.DiscussionWe identified the extrafollicular pathway as a key contributor to autoimmune progression. We propose that therapeutic targeting of low quality and poorly controlled extrafollicular responses could be a desirable strategy to curb autoreactivity, as it would leave intact the more stringently controlled and high-quality GC responses providing durable protection against infection

Trajectories of Big Five Personality Traits: A Coordinated Analysis of 16 Longitudinal Samples

This study assessed change in self‐reported Big Five personality traits. We conducted a coordinated integrative data analysis using data from 16 longitudinal samples, comprising a total sample of over 60 000 participants. We coordinated models across multiple datasets and fit identical multi‐level growth models to assess and compare the extent of trait change over time. Quadratic change was assessed in a subset of samples with four or more measurement occasions. Across studies, the linear trajectory models revealed declines in conscientiousness, extraversion, and openness. Non‐linear models suggested late‐life increases in neuroticism. Meta‐analytic summaries indicated that the fixed effects of personality change are somewhat heterogeneous and that the variability in trait change is partially explained by sample age, country of origin, and personality measurement method. We also found mixed evidence for predictors of change, specifically for sex and baseline age. This study demonstrates the importance of coordinated conceptual replications for accelerating the accumulation of robust and reliable findings in the lifespan developmental psychological sciences. © 2020 European Association of Personality PsychologyPeer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/156004/1/per2259.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/156004/2/per2259-sup-0001-Data_S1.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/156004/3/per2259-sup-0002-Open_Practices_Disclosure_Form.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/156004/4/per2259_am.pd